Generalizing Active Zones for Set-Theoretic Solid Models
نویسندگان
چکیده
منابع مشابه
Decision-Theoretic Rough Set Models
Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper approximations are calculated based on more familiar notions of costs (risks) through the well-known Bayesian decision procedure. We review and revisit the decision-theoretic models and present new results. It is shown that we nee...
متن کاملGeneralizing realizability and Heyting models for constructive set theory
This article presents a generalisation of the two main methods for obtaining class models of constructive set theory. Heyting models are a generalisation of the Boolean models for classical set theory which are a kind of forcing, while realizability is a decidedly constructive method that has first been develloped for number theory by Kleene and was later very fruitfully adapted to constructive...
متن کاملMinkowski Sums of Set-theoretic Models
This paper describes a new algorithm for computing Min-kowski sums of set-theoretic geometric models. The algorithm uses a variation on Woodwark's method for feature recognition. At the end of the paper we present results from an implementation of the algorithm running on two-dimensional data, and from a more experimental version ray-tracing into three-dimensional Minkowski sums to render a pic...
متن کاملOn Generalizing Rough Set Theory
This paper summarizes various formulations of the standard rough set theory. It demonstrates how those formulations can be adopted to develop different generalized rough set theories. The relationships between rough set theory and other theories are discussed. 1 Formulations of Standard Rough Sets The theory of rough sets can be developed in at least two different manners, the constructive and ...
متن کاملGeneralizing Local Translation Models
We investigate translation modeling based on exponential estimates which generalize essential components of standard translation models. In application to a hierarchical phrasebased system the simplest generalization allows its models of lexical selection and reordering to be conditioned on arbitrary attributes of the source sentence and its annotation. Viewing these estimates as approximations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1989
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/32.1.86